GdkDeviceManager: Add gdk_device_manager_get_client_pointer().
authorCarlos Garnacho <carlosg@gnome.org>
Tue, 8 Jun 2010 13:16:59 +0000 (15:16 +0200)
committerCarlos Garnacho <carlosg@gnome.org>
Thu, 24 Jun 2010 00:30:53 +0000 (02:30 +0200)
commit6cde835acd0174d355a23d0efd398f8b35240f4a
tree2ecb86fb9c33a9ba40799bba4cfbec4e25959d37
parent009e26f32f27dacb907aa9917fbfac799c2f3247
GdkDeviceManager: Add gdk_device_manager_get_client_pointer().

This function makes a better replacement for
gdk_display_get_core_pointer(), wherever it might yet be needed, for
XI2 resorts to XIGetClientPointer(), for the others return the only
core pointer.

https://bugzilla.gnome.org/show_bug.cgi?id=621685
docs/reference/gdk/gdk3-sections.txt
gdk/gdk.symbols
gdk/gdkdevicemanager.c
gdk/gdkdevicemanager.h
gdk/gdkdisplay.c
gdk/quartz/gdkdevicemanager-core.c
gdk/win32/gdkdevicemanager-win32.c
gdk/x11/gdkdevicemanager-core.c
gdk/x11/gdkdevicemanager-xi2.c
gdk/x11/gdkdevicemanager-xi2.h